Presburger arithmetic
[网络] 斯博格算术
热门查询
- disfiguring vt. 使变丑；损毁…的外形；使大为减色
- athletic adj. 运动的，运动员的；体格健壮的
- debe n. （东非用语）听头，罐头 n. (Debe)人名；(日)出部 (姓)
- SGT n. 硅栅晶体管
- whist n. 扑克牌游戏的一种 int. 嘘！；肃静！ adj. 无声的；安静的 adv. 无声地；安静地
- supply n. 供给，补给；供应品 vt. 供给，提供；补充 vi. 供给；替代
- legwork n. 外出搜集情况的工作
- dislocation n. 转位；混乱；[医] 脱臼
- nav abbr. 资产净值（net asset value）
- vasodilation n. 血管舒张
- calcareous n. 钙化软骨 adj. 钙质的，石灰质的
- wetted v. 使变湿；尿湿（wet的过去式和过去分词）
- questionable adj. 可疑的；有问题的
- selectable adj. 可选择的
- Troon [地名] [英国] 特伦
- hemoptysis n. [临床] 咯血；咳血
- Babar n. 巴巴（电影名, 书名）
- policy n. 政策，方针；保险单
- utilize vt. 利用
- speculatively 投机地 推测地 思索性地
考试词汇表
- avoid hasty conclusions
- avoidance blockade test
- avoidance reaction test
- avoidant personalistics
- avulsion injury of skin
- avulsion, avulsed wound
- award at tender opening
- awareness of defecation
- away from smellig cargo
- axal position indicator
- axerophthylium aceticum
- axes of unipoplar leads
- axial - flow compressor
- axial carrying capacity
- axial chamfer dimension
- axial compression ratio
- axial compressive force
- axial compressor blower
- axial dose distribution
- axial flight land width
